Global progress for dynamically interleaved multiparty sessions
نویسندگان
چکیده
منابع مشابه
Global progress for dynamically interleaved multiparty sessions
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. When a distributed protocol is engaged in two or more specifications simultaneously, sessions following distinct global types can be interleaved and can interfere at runtime also through the channel delegation operation. Previous work on m...
متن کاملGlobal Progress in Dynamically Interleaved Multiparty Sessions
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a more traditional communication type system, a novel static interaction type system for global progress in dynamically interleaved multiparty sessions.
متن کاملGlobal Progress and its Inference for Dynamically Interleaved Multiparty Sessions
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. When a distributed protocol is engaged in two or more specifications simultaneously, each session following a distinct global type can be interleaved and can interfere at runtime (through the channel delegation operation). High-level sessi...
متن کاملInference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
A multiparty session forms a unit of structured interactions among several processes which follow a specified protocol described as a global type. Well-known communication-oriented type systems guarantee communication safety and progress within single sessions, but do not take into account the dependencies arising from the interleaving of simultaneously active sessions and from session delegati...
متن کاملGlobal Escape in Multiparty Sessions
This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, preserving compatibility of the multiparty conversations. Our escape is realised by a collection of asynchronous local exceptions which can be thrown at any stage of the communication and to any subsets of participants in a multipa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2014
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129514000188